
PUBLIC void out_byte(u16 port, u8 value);
PUBLIC u8 in_byte(u16 port);
PUBLIC void disp_str(char* info);
PUBLIC void disp_color_str(char *info, int color);
PUBLIC void init_prot();
PUBLIC u32 seg2phys(u16 seg);
PUBLIC void delay(int time);
void restart();
void TestA();
void TestB();
void TestC();

PUBLIC void put_irq_handler(int irq, irq_handler handler);
PUBLIC void spurious_irq(int irq);
PUBLIC void clock_handler(int irq);

PUBLIC void init_clock();

/* keyboard.c */
PUBLIC void init_keyboard();

PUBLIC void task_tty();

PUBLIC int sys_get_ticks();

PUBLIC void sys_call();
PUBLIC int get_ticks();
